- абстрактная спецификация
- (описание на языке, не зависящем от конкретной реализации) abstract specification
Русско-английский словарь по вычислительной технике и программированию . 2013.
Русско-английский словарь по вычислительной технике и программированию . 2013.
ISO/IEC 13719-1:1998 — изд.2 XK JTC 1/SC 22 Информационные технологии. Переносимая универсальная инструментальная среда (PCTE). Часть 1. Абстрактная спецификация раздел 35.060 … Стандарты Международной организации по стандартизации (ИСО)
ГОСТ Р 54136-2010: Системы промышленной автоматизации и интеграция. Руководство по применению стандартов, структура и словарь — Терминология ГОСТ Р 54136 2010: Системы промышленной автоматизации и интеграция. Руководство по применению стандартов, структура и словарь оригинал документа: 4.1 абстрактная деталь (abstract part): Деталь, которая определена только своей… … Словарь-справочник терминов нормативно-технической документации
сущность — 3.16 сущность (entity): Конкретизация или абстракция, различаемая в пределах системы. Примечание Примерами сущностей являются: система, подсистема, компонент, класс, объект, интерфейс, клиент, процесс, приложение, спецификация. Источник … Словарь-справочник терминов нормативно-технической документации
идентификатор — 2.18 идентификатор (identifier): Информационный объект, используемый для объявления идентичности до потенциального подтверждения соответствующим аутентификатором [18]. Источник: ГОСТ Р ИСО/ТС 22600 2 2009: Информатизация здоровья. Управлени … Словарь-справочник терминов нормативно-технической документации
/МЭК 8824-1 — ГОСТ Р ИСО/МЭК 8824 1{ 2001} Информационная технология. Абстрактная синтаксическая нотация версии один (АСН.1). Часть 1. Спецификация основной нотации. ОКС: 35.100.60 КГС: П85 Виды представления информации и математическое обеспечение машин… … Справочник ГОСТов
/МЭК 8824-2 — ГОСТ Р ИСО/МЭК 8824 2{ 2001} Информационная технология. Абстрактная синтаксическая нотация версии один (АСН.1). Часть 2. Спецификация информационного объекта. ОКС: 35.100.60 КГС: П85 Виды представления информации и математическое обеспечение… … Справочник ГОСТов
/МЭК 8824-3 — ГОСТ Р ИСО/МЭК 8824 3{ 2002} Информационная технология. Абстрактная синтаксическая нотация версии один (АСН.1). Часть 3. Спецификация ограничения. ОКС: 35.100.70 КГС: П85 Виды представления информации и математическое обеспечение машин Действие:… … Справочник ГОСТов
Формальные методы — Пример формальной спецификации с использованием Z нотации В информатике и инженерии программного обеспечения формальными методами называется группа техник, основанных на математическом аппарате для … Википедия
ГОСТ Р ИСО/МЭК 19762-3-2011: Информационные технологии. Технологии автоматической идентификации и сбора данных (АИСД). Гармонизированный словарь. Часть 3. Радиочастотная идентификация (РЧИ) — Терминология ГОСТ Р ИСО/МЭК 19762 3 2011: Информационные технологии. Технологии автоматической идентификации и сбора данных (АИСД). Гармонизированный словарь. Часть 3. Радиочастотная идентификация (РЧИ) оригинал документа: 05.02.21 абстрактный… … Словарь-справочник терминов нормативно-технической документации
ГОСТ Р ИСО 22745-2-2011: Системы промышленной автоматизации и их интеграция. Открытые технические словари и их применение к основным данным. Часть 2. Словарь — Терминология ГОСТ Р ИСО 22745 2 2011: Системы промышленной автоматизации и их интеграция. Открытые технические словари и их применение к основным данным. Часть 2. Словарь оригинал документа: 11.10 акроним: Сокращение, составленное из начальных… … Словарь-справочник терминов нормативно-технической документации
CBC-MAC — В криптографии, CBC MAC является технологией построения аутенфикационного кода сообщения из блочного шифра. Сообщение шифруется при помощи некоторого блочного алгоритма шифрования в режиме CBC, для создания цепочки блоков с правилом каждый… … Википедия